
EXTRA_DIST = Doxyfile index.doxygen footer.html

doc: Doxyfile
	doxygen

.PHONY: doc
